﻿\section{\oracle}
\label{oracle}

% sections
\EN{\input{examples/oracle/1_version_EN}}\RU{\input{examples/oracle/1_version_RU}}
\EN{\input{examples/oracle/2_ksmlru_EN}}\RU{\input{examples/oracle/2_ksmlru_RU}}
\EN{\input{examples/oracle/3_timer_EN}}\RU{\input{examples/oracle/3_timer_RU}}

